Hoare logic - PDFSEARCH.IO - Document Search Engine

Hoare logic
Results: 111

#	Item
51	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
52	Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:14 Computing Mathematics Data integrity Control flow Hoare logic Data management Program logic Computer programming Invariant
53	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
54	A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version) Ricardo Corin and Jerry den Hartog {ricardo.corin,jerry.denhartog}@cs.utwente.nl Department of Computer Science, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-26 14:51:39 Model theory Program logic Logic in computer science Predicate logic Hoare logic First-order logic Function Algorithm Probabilistic logic Mathematics Logic Mathematical logic
55	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:26:03 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
56	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:24:53 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
57	Microsoft PowerPoint - Control_Program_Analysis Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2009-03-17 09:38:59 Hoare logic State space Systems science Control theory Systems theory Science
58	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-07-29 10:40:50 Applied mathematics Computing Formal verification Model checking Programming tool Programming language Exception handling Device driver synthesis and verification Computer-aided software engineering Formal methods Logic in computer science Theoretical computer science
59	INVARIANT RELATIONS: EVERYTHING YOU ALWAYS WANTED TO KNOW ABOUT LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 27, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Quadratic forms Surgery theory Differential geometry Hoare logic Plancherel theorem for spherical functions Invariant Mathematics Program logic
60	! ! Contribution!of!the! AI4FM!2014! Workshop! Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2014-05-08 12:11:09 Formal methods Formal sciences Mathematical logic Logic in computer science Correctness Termination analysis Hoare logic Automated theorem proving Logical framework Mathematics Theoretical computer science Applied mathematics

UPDATE